- синтаксически полная система
- syntactically complete system
Русско-английский научно-технический словарь Масловского. 2015.
синтаксически полная система
Look at other dictionaries:
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Морфология (лингвистика) — У этого термина существуют и другие значения, см. Морфология. … Википедия
схема — 2.59 схема (schema): Описание содержания, структуры и ограничений, используемых для создания и поддержки базы данных. Источник: ГОСТ Р ИСО/МЭК ТО 10032 2007: Эталонная модель управления данными 3.1.17 схема : Документ, на котором показаны в виде… … Словарь-справочник терминов нормативно-технической документации
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… … Философская энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… … Философская энциклопедия
БИБЛИЯ. IV. ПЕРЕВОДЫ — Переводы Б. На древние языки Арамейские таргумы Арамейский таргум иудейский перевод Б. (ВЗ) на арамейский язык. Существительное « » в постбиблейском евр. и арам. означает «перевод», глагол « » (арам. ) «переводить, объяснять» (единственный раз в… … Православная энциклопедия
ЕВРЕЙСКИЙ ЯЗЫК — один из языков сев. зап. ветви семит. группы афразийской языковой семьи. На Е. я. написана большая часть Свящ. Писания ВЗ. Наименование Происхождение Е. я. связано с формированием евр. этноса во II тыс. до Р. Х. и евр. государственности на рубеже … Православная энциклопедия
полнота логических исчислений — ПОЛНОТА ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ выводимость в исчислении (логической системе) всех утверждений (предложений, формуЛит.п.), обладающих некоторым подразумеваемым для этого исчисления свойством. Напр., П. классического исчисления высказываний… … Энциклопедия эпистемологии и философии науки
Драма — Д. как поэтический род Происхождение Д. Восточная Д. Античная Д. Средневековая Д. Д. Ренессанса От Возрождения к классицизму Елизаветинская Д. Испанская Д. Классическая Д. Буржуазная Д. Ро … Литературная энциклопедия
Оберон (язык программирования) — У этого термина существуют и другие значения, см. Оберон. Oberon Класс языка: императивный, структурированный, модульный Появился в: 1986 Автор(ы) … Википедия
Паскаль (язык) — Pascal Семантика: процедурный Тип исполнения: компилятор Появился в: 1970 г. Автор(ы): Никлаус Вирт Паскаль (англ. Pascal) высокоуровневый язык программирования общего назначения. Один из наиболее известных языков программирования, широко… … Википедия
